Type systems

Results: 2329



#Item
241

Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

Add to Reading List

Source URL: cs.ioc.ee

Language: English - Date: 2005-10-28 05:43:38
    242

    Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi Takashi Suto {koba,tsuto}@kb.ecei.tohoku.ac.jp Tohoku University

    Add to Reading List

    Source URL: www.kb.ecei.tohoku.ac.jp

    Language: English - Date: 2007-04-23 05:55:35
      243

      Type Systems for Concurrent Programs Naoki Kobayashi Tokyo Institute of Technology Type Systems for Programming Languages

      Add to Reading List

      Source URL: www.kb.ecei.tohoku.ac.jp

      Language: English - Date: 2002-04-02 02:41:25
        244

        CMSC 336: Type Systems for Programming Languages Lecture 8: References Acar & Ahmed 12 February 2008

        Add to Reading List

        Source URL: ttic.uchicago.edu

        Language: English - Date: 2008-02-12 16:30:48
          245

          4 Martin-L¨of Type Theory with a Single Universe Based on our observation that type-theory can be applied to the study of logical systems (and vice-versa), we can attempt to generalize this correspondence: in

          Add to Reading List

          Source URL: www.andrew.cmu.edu

          Language: English - Date: 2014-04-29 17:32:57
            246

            Environmental Monitoring Systems Automatic dust sampling system to collect particular matter such as PM10 or PM2.5 Type: LVS+SEQ The dust collection system comprises a low-volume sampler unit (LVS) and a filter changer (

            Add to Reading List

            Source URL: www.envisys.com.au

            Language: English - Date: 2015-04-28 18:52:58
              247Type theory / Data types / Functional languages / Object-oriented programming / Type systems / Subtyping / Whiley / OCaml / ALGOL 68 / Type conversion / Const / ML

              Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

              Add to Reading List

              Source URL: homepages.ecs.vuw.ac.nz

              Language: English - Date: 2012-11-09 02:30:24
              248

              Linear stochastic systems of descriptor type: theory and applications

              Add to Reading List

              Source URL: users.uoa.gr

              Language: English - Date: 2013-06-14 05:16:15
                249

                Environmental Monitoring Systems Automatic dust sampling system to collect particular matter PM10 or PM2.5 or PM1 Type: PNS 16TPNS 16TPNS 18TPNS 18T-6.1 The dust collection system comprises a low-vol

                Add to Reading List

                Source URL: www.envisys.com.au

                Language: English - Date: 2015-04-28 18:39:09
                  250

                  1073150SCD1 Colloquium Trends in Technology, Materials, Testing and Diagnostics Applied to Electric Power Systems Rio de Janeiro, Brazil – September 13-18, 2015 Type here the title of your Paper

                  Add to Reading List

                  Source URL: scd1rio2015.org.br

                  Language: English - Date: 2015-05-08 14:37:58
                    UPDATE